$\forall$$b$:Decision. $b$ $=$ false$_{2}$ $\Leftrightarrow$ $\neg$$b$